Actions with Indirect Effects (Preliminary Report)
نویسندگان
چکیده
We deene and study a high-level language for describing actions that extends the language A introduced by Gelfond and Lifschitz. The new language, AR 0 , allows us to describe actions with indirect eeects (ramiications) and simple forms of nondeterminism. A translation from AR 0 into a formalism based on cir-cumscription is proved to be sound and complete .
منابع مشابه
Study of Oral Gold ( Auranofin ) in Treatment of Iranian Patient with Rheumatoid Arthritis (RA). Preliminary Report of 6 Months Treatment
28 patients with classical / definite RA entered to a prospective open study evaluating efficacy and side effects of Auranofin. 21 patients completed 6 months of therapy with 6 mg Auranofin daily. Parameters of disease activity including Joint Tenderness Score, Joint Swelling Score, Walking Time and duration of Morning Stiffness improved significantly after 6 months (p<0.001). Grip strength, Su...
متن کاملEEB/ZMWG comments on the SCHER Preliminary report on the environmental risks and indirect health effects of mercury in dental amalgam
متن کامل
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملModeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains Š and a Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملModeling Actions with Rami£cations in Nondeterministic, Concurrent, and Continuous Domains— And A Case Study
Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994